Plan Representation and Reasoning with Description Logics
نویسنده
چکیده
Planning problems are naturally knowledge rich. Yet, most planning research to date has focused on languages and algorithms to represent and search through the decision space in order to generate a feasible solution. This paper surveys previous work on extending planning algorithms with expressive representations of knowledge, in particular description logics, to reasoning about action, plan, and goal taxonomies. These approaches should be of interest to planning practitioners by also to Semantic Web researchers who are currently developing web service languages based on planning languages and in combination with description logics.
منابع مشابه
A Theory and Implementation of Cognitive Mobile Robots
We describe an approach to reasoning agents which is based on a formal theory of actions and is actually implemented on a mobile robot working in an office environment. From an epistemological viewpoint, our proposal is originated by the correspondence between Dynamic Logics and Description Logics. Specifically, we consider an epistemic extension of Description Logics to provide a new theoretic...
متن کاملMoving a Robot : The KR & R Approach
The paper describes an approach to reasoning about actions and plan generation within the framework of description logics. From an epistemological viewpoint, our approach is based on the formalization of actions given by dynamic logics, but we exploit their correspondence with description logics to turn the formalization into an actual implementation. In particular, we are able to carefully wea...
متن کاملMoving a Robot: The KR&R Approach at Work
The paper describes an approach to reason ing about actions and plan generation within the framework of description logics From an epistemological viewpoint our approach is based on the formalization of actions given by dynamic logics but we exploit their corre spondence with description logics to turn the formalization into an actual implementation In particular we are able to carefully weaken...
متن کاملPlan-based Axiom Absorption for Tableau-based Description Logics Reasoning
Plan-based Axiom Absorption for Tableau-based Description Logics Reasoning
متن کاملDL+log: Tight Integration of Description Logics and Disjunctive Datalog
The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge bases (DL-KBs) and Datalog programs is undecidable. Many proposals have overcomed this problem through a “safeness” condition that limits the interaction between the DL-KB and the Datalog rules. Such a safe...
متن کامل